401. Algebraic and logic programming: 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996 : proceedings
پدیدآورنده : Michael Hanus, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
1139
402. Algebraic and logic programming : 4th International Conference, ALP'94, Madrid, Spain, September 14-16, 1994 : proceedings
پدیدآورنده : Giorgio Levi, Mario Rodriguez Artalejo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
850
403. Algebraic and logic programming : 6th International Joint Conference, ALP'97-HOA'97, Southampton, UK, September 3-5, 1997 : proceedings
پدیدآورنده : Michael Hanus, Jan Heering, Karl Meinke, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Algebraic logic,Congresses ، Rewriting systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1298
404. Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming-- Congresses,، Algebraic logic-- Congresses
رده :
QA
76
.
6
.
A45842
1992
405. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
406. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
407. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
408. Algebraic foundations in computer science :
پدیدآورنده : edited by Werner Kuich, George Rahonis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.
رده :
QA76
.
9
.
M35
A44
2011
409. Algebraic graph algorithms :
پدیدآورنده : K. Erciyes.,Erciyes, K.,
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Graph algorithms.,Python (Computer program language)
رده :
QA166
.
245
.
E7
2021
410. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
411. Algebraic specification techniques in object oriented programming environments
پدیدآورنده : Breu, Ruth
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Object-oriented programming )Computer science(
رده :
QA
76
.
64
.
B74
1991
412. Algebraic specification techniques in object oriented programming environments
پدیدآورنده : Breu, Ruth, 4691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
562
413. Algol 60 Programming
پدیدآورنده : /R.F.Shepherd.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : برنامه‌نویسی
رده :
QA
۷۶
/
۵
/
ش
۲
الف
۷ ۱۳۵۱
414. Algol-like Languages
پدیدآورنده : edited by Peter W. O'Hearn, Robert D. Tennent.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Mathematics.
415. Algorithm design
پدیدآورنده : Kleinberg, Jon
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer algorithms,، Data structures )Computer science(
رده :
QA
76
.
9
.
A43
K54
416. Algorithm design
پدیدآورنده : / Jon Kleinberg, aEva Tardos
کتابخانه: Ilam University Central Library (Ilam)
موضوع : Computer algorithms,Data structures (Computer science)
رده :
QA76
.
9
.
A43K54
2006
417. Algorithm design
پدیدآورنده : Jon Kleinberg, Éva Tardos.,Kleinberg, Jon.
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Computer algorithms.,Data structures (Computer science)
رده :
QA76
.
9
.
A43K54
2006
418. Algorithm design
پدیدآورنده : / Jon Kleinberg, Eva Tardos
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Computer algorithms,Data structures (Computer science)
رده :
QA76
.
9
.
A43
K52
419. Algorithm design
پدیدآورنده : Kleinberg, Jon
کتابخانه: (Semnan)
موضوع : ، Computer algorithms,، Data structures )Computer science(
رده :
QA
76
.
9
.
K5A4
420. Algorithm design /
پدیدآورنده : Jon Kleinberg, Éva Tardos
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms,Data structures (Computer science)
رده :
QA76
.
9
.
A43
K54
2006
